public class SemanticException extends Exception
{
    public SemanticException(String message)
    {
	super("Semantic Error: " + message);
    }
}